A comprehensive survey of the work of this most influential Florentine artist and teacher Andrea del Verrocchio (c. 1435-1488) was one of the most versatile and inventive artists of the Italian Renaissance. He created art across media, from his spectacular sculptures and paintings to his work in goldsmithing, architecture, and engineering. His expressive, confident drawings provide a key point of contact between sculpture and painting. He led a vibrant workshop where he taught young artists who later became some of the greatest painters of the period, including Leonardo da Vinci, Sandro Botticelli, Lorenzo di Credi, and Domenico Ghirlandaio. This beautifully illustrated book presents a comprehensive survey of Verrocchio's art, spanning his entire career and featuring some fifty sculptures, paintings, and drawings, in addition to works he created with his students. Through incisive scholarly essays, in-depth catalog entries, and breathtaking illustrations, this volume draws on the latest research in art history to show why Verrocchio was one of the most innovative and influential of all Florentine artists. Published in association with the National Gallery of Art, Washington, DC

This book constitutes the thoroughly refereed proceedings of the Second Int- national Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. This symposium followed on the success of the ?rst held at Walworth Castle in 2006. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this symposium series are to continue to rea?rm the signi?cance of the ongoing UTP project, to encourage e?orts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the bene?ts of such a unifying theoretical framework among the wider computer science and software engineering communities. There were two invited talks, one of which appears here in full, the other in abstractform.We wouldliketo warmlythank bothJifengHe andRalph-Johann Back for their enthusiastic and engaged participation in this event.

Previously named A Dictionary of Computing, this bestselling dictionary has been renamed A Dictionary of Computer Science, and fully revised by a team of computer specialists, making it the most up-to-date and authoritative guide to computing available. Containing over 6,500 entries and with expanded coverage of multimedia, computer applications, networking, and personal computer science, it is a comprehensive reference work encompassing all aspects of the subject and is as valuable for home and office users as it is indispensable for students of computer science. Terms are defined in a jargon-free and concise manner with helpful examples where relevant. The dictionary contains approximately 150 new entries including cloud computing, cross-site scripting, iPad, semantic attack, smartphone, and virtual learning environment. Recommended web links for many entries, accessible via the Dictionary of Computer Science companion website, provide valuable further information and the appendices include useful resources such as generic domain names, file extensions, and the Greek alphabet. This dictionary is suitable for anyone who uses computers, and is ideal for students of computer science and the related fields of IT, maths, physics, media communications, electronic engineering, and natural sciences.

This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers are presented. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages.

This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005.

The 13 revised full papers presented went through two rounds of reviewing and improvement and were selected from an initial total of 32 workshop presentations. Ranging from theoretical and methodological topics to implementation issues and applications in various contexts, the papers address all current issues on functional and function-based languages.

This popular dictionary, formerly published as the Penguin Dictionary of Electronics, has been extensively revised and updated, providing more than 5,000 clear, concise, and jargon-free A-Z entries on key terms, theories, and practices in the areas of electronics and electrical science. Topics covered include circuits, power, systems, magnetic devices, control theory, communications, signal processing, and telecommunications, together with coverage of applications areas such as image processing, storage, and electronic materials. The dictionary is enhanced by dozens of equations and nearly 400 diagrams. It also includes 16 appendices listing mathematical tables and other useful data, including essential graphical and mathematical symbols, fundamental constants, technical reference tables, mathematical support tools, and major innovations in electricity and electronics. More than 50 useful web links are also included with appropriate entries, accessible via a dedicated companion website. A Dictionary of Electronics and Electrical Engineering is the most up-to-date quick reference dictionary available in its field, and is a practical and wide-ranging resource for all students of electronics and of electrical engineering.